<body>
Various heuristics to select the next variable to branch on.
</body>